1. Advaces in theory and formal methods of computing: processingd of the thrid Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996
پدیدآورنده : editors: A. Edalat, S. Jourdan, G. Mccusker
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses
رده :
QA
76
.
6
.
A48
1996
